Desel, Jörg: шукати на сайті Z-Library

Рік:

2004

Мова:

english

Файл:

PDF, 730 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 1806 ||

Рік:

2000

Мова:

english

Файл:

PDF, 5.76 MB

english, 2000

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || ARIS Architecture and Reference Models for Business Process Management

Рік:

2000

Мова:

english

Файл:

PDF, 456 KB

english, 2000

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Goal-Oriented Business Process Modeling with EPCs and Value-Focused Thinking

Koutny, Maciej, Desel, Jörg, Kleijn, Jetty

Рік:

2004

Мова:

english

Файл:

PDF, 233 KB

english, 2004

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency XI Volume 9930 || Mining Conditional Partial Order Graphs from Event Logs

Рік:

2016

Мова:

english

Файл:

PDF, 637 KB

english, 2016

[Lecture Notes in Computer Science] Transactions on Petri Nets and Other Models of Concurrency XI Volume 9930 || Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data

Koutny, Maciej, Desel, Jörg, Kleijn, Jetty

Рік:

2016

Мова:

english

Файл:

PDF, 2.65 MB

english, 2016

Traps characterize home states in free choice systems

Eike Best, Jörg Desel, Javier Esparza

Журнал:

Theoretical Computer Science

Рік:

1992

Мова:

english

Файл:

PDF, 1.01 MB

english, 1992

Reachability in cyclic extended free-choice systems

Jörg Desel, Javier Esparza

Журнал:

Theoretical Computer Science

Рік:

1993

Мова:

english

Файл:

PDF, 1.54 MB

english, 1993

Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes

Kais Klai, Samir Tata, Jörg Desel

Журнал:

Data & Knowledge Engineering

Рік:

2011

Мова:

english

Файл:

PDF, 1.26 MB

english, 2011

Executability of scenarios in Petri nets

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser

Журнал:

Theoretical Computer Science

Рік:

2009

Мова:

english

Файл:

PDF, 2.69 MB

english, 2009

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders

Jörg Desel, Gabriel Juhás, Robert Lorenz

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2003

Мова:

english

Файл:

PDF, 1.00 MB

english, 2003

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra

Jörg Desel, Gabriel Juhás, Robert Lorenz

Журнал:

Electronic Notes in Theoretical Computer Science

Рік:

2001

Мова:

english

Файл:

PDF, 292 KB

english, 2001

Compositional generation of home states in free choice nets

Eike Best, Ludmila Cherkasova, Jörg Desel

Журнал:

Formal Aspects of Computing

Рік:

1992

Мова:

english

Файл:

PDF, 525 KB

english, 1992

Partial order behaviour and structure of Petri nets

Eike Best, Jörg Desel

Журнал:

Formal Aspects of Computing

Рік:

1990

Мова:

english

Файл:

PDF, 1.22 MB

english, 1990

The synthesis problem of Petri nets

Jörg Desel, Wolfgang Reisig

Журнал:

Acta Informatica

Рік:

1996

Мова:

english

Файл:

PDF, 1.06 MB

english, 1996

A simplified proof for a self-stabilizing protocol: A game of cards

Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter

Журнал:

Information Processing Letters

Рік:

1995

Мова:

english

Файл:

PDF, 175 KB

english, 1995

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Petri Nets and Manufacturing Systems: An Examples-Driven Tour

Рік:

2004

Мова:

english

Файл:

PDF, 713 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Mining Social Networks: Uncovering Interaction Patterns in Business Processes

Рік:

2004

Мова:

english

Файл:

PDF, 525 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || Guidelines of Business Process Modeling

Рік:

2000

Мова:

english

Файл:

PDF, 111 KB

english, 2000

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned

Desel, Jörg, Silva, Manuel

Рік:

2004

Мова:

english

Файл:

PDF, 138 KB

english, 2004

[Lecture Notes in Computer Science] Application and Theory of Petri Nets 1998 Volume 1420 || Synchronized Products of Transition Systems and Their Analysis

Рік:

1998

Мова:

english

Файл:

PDF, 99 KB

english, 1998

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Management of Knowledge Intensive Business Processes

Рік:

2004

Мова:

english

Файл:

PDF, 287 KB

english, 2004

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Application of Coloured Petri Nets in System Development

Ehrig, Hartmut, Damm, Werner, Desel, Jörg, Große-Rhode, Martin, Reif, Wolfgang, Schnieder, Eckehard, Westkämper, Engelbert

Рік:

2004

Мова:

english

Файл:

PDF, 726 KB

english, 2004

[Lecture Notes in Computer Science] Integration of Software Specification Techniques for Applications in Engineering Volume 3147 || Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks

Рік:

2004

Мова:

english

Файл:

PDF, 260 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || A Workflow-Oriented System Architecture for the Management of Container Transportation

Рік:

2004

Мова:

english

Файл:

PDF, 268 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || On Dealing with Structural Conflicts between Process Type and Instance Changes

Colom, José-Manuel, Desel, Jörg

Рік:

2004

Мова:

english

Файл:

PDF, 353 KB

english, 2004

[Lecture Notes in Computer Science] Application and Theory of Petri Nets and Concurrency Volume 7927 || On Multi-enabledness in Time Petri Nets

Рік:

2013

Мова:

english

Файл:

PDF, 281 KB

english, 2013

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || Modeling Processes and Workflows by Business Rules

Рік:

2000

Мова:

english

Файл:

PDF, 148 KB

english, 2000

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Petri Nets and Dependability

Reisig, Wolfgang, Desel, Jörg

Рік:

2004

Мова:

english

Файл:

PDF, 656 KB

english, 2004

Konzepte der Petrinetze

Журнал:

Informatik-Spektrum

Рік:

2014

Мова:

german

Файл:

PDF, 1.21 MB

german, 2014

Petrinetze

Desel, Jörg, Reisig, Wolfgang

Журнал:

Informatik-Spektrum

Рік:

2014

Мова:

german

Файл:

PDF, 261 KB

german, 2014

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || The Effects of Workflow Systems on Organizations: A Qualitative Study

Desel, Jörg, Reisig, Wolfgang

Рік:

2000

Мова:

english

Файл:

PDF, 67 KB

english, 2000

The concepts of Petri nets

Журнал:

Software & Systems Modeling

Рік:

2015

Мова:

english

Файл:

PDF, 1.15 MB

english, 2015

[IEEE 2008 IEEE Intelligent Vehicles Symposium (IV) - Eindhoven, Netherlands (2008.06.4-2008.06.6)] 2008 IEEE Intelligent Vehicles Symposium - Using a proactive sensor-system in the Distributed Environment Model

Hermann, Andreas, Matzka, Stephan, Desel, Jorg

Рік:

2008

Мова:

english

Файл:

PDF, 1.63 MB

english, 2008

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Synthesis of Petri Nets from Finite Partial Languages

Lorenz, Robert, Lorenz, Robert, Lorenz, Robert, Lorenz, Robert, Bergenthum, Robin, Bergenthum, Robin, Bergenthum, Robin, Bergenthum, Robin, Desel, Jorg, Desel, Jorg, Desel, Jorg, Desel, Jorg, Mauser,

Рік:

2007

Мова:

english

Файл:

PDF, 232 KB

english, 2007

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Synthesis of Petri nets from infinite partial languages

Bergenthum, Robin, Desel, Jorg, Lorenz, Robert, Mauser, Sebastian

Рік:

2008

Мова:

english

Файл:

PDF, 417 KB

english, 2008

[IEEE 2008 IEEE International Conference on Vehicular Electronics and Safety (ICVES 2008) - Columbus, OH (2008.09.22-2008.09.24)] 2008 IEEE International Conference on Vehicular Electronics and Safety - Driving situation analysis in automotive environment

Hermann, Andreas, Desel, Jorg

Рік:

2008

Мова:

english

Файл:

PDF, 1.02 MB

english, 2008

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - On Cyclic Behaviour of Unbounded Petri Nets

Desel, Jorg

Рік:

2013

Мова:

english

Файл:

PDF, 504 KB

english, 2013

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || A Workflow Change is a Workflow

Рік:

2000

Мова:

english

Файл:

PDF, 724 KB

english, 2000

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 ||

Рік:

2004

Мова:

english

Файл:

PDF, 8.76 MB

english, 2004

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Petri Nets and Software Engineering

Рік:

2004

Мова:

english

Файл:

PDF, 311 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || Improving Flexibility of workflow Management Systems

Рік:

2000

Мова:

english

Файл:

PDF, 222 KB

english, 2000

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Desel, Jörg, Silva, Manuel

Рік:

2000

Мова:

english

Файл:

PDF, 167 KB

english, 2000

[Lecture Notes in Computer Science] Application and Theory of Petri Nets 1998 Volume 1420 ||

Рік:

1998

Мова:

english

Файл:

PDF, 6.53 MB

english, 1998

[Lecture Notes in Computer Science] Business Process Management Volume 1806 || Modeling, Simulation and Analysis of Business Processes

Desel, Jörg, Kılınç, Görkem

Рік:

2000

Мова:

english

Файл:

PDF, 493 KB

english, 2000

Real-time Investigations on the Formation of CuIn(S,Se)2 while annealing precursors with varying sulfur content

Hölzing, Astrid, Schurr, Roland, Jost, Stefan, Palm, Jörg, Deseler, Klaus, Wellmann, Peter J., Hock, Rainer

Журнал:

MRS Proceedings

Рік:

2009

Мова:

english

Файл:

PDF, 96 KB

english, 2009

Observable liveness of Petri nets

Журнал:

Acta Informatica

Рік:

2015

Мова:

english

Файл:

PDF, 409 KB

english, 2015

[Lecture Notes in Computer Science] Lectures on Concurrency and Petri Nets Volume 3098 || Timed Automata: Semantics, Algorithms and Tools

Рік:

2004

Мова:

english

Файл:

PDF, 565 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Cohesion and Coupling Metrics for Workflow Process Design

Рік:

2004

Мова:

english

Файл:

PDF, 266 KB

english, 2004

[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model